monadic computation
monad値を返す関数のこと
雑に書くと、こういう関数のこと
monadicComputation :: Monad m => m a ..
こういう1つのMonad計算のことをこう呼んでいる
code:hs
stackMainp :: State Stack Int
stackMainp = do
push 3
pop
pop
このコード内の、
stackMainp
,
push
,
pop
は全てmonadic computation
特にIOモナドの場合に
アクション
と言ったりする